Ordinary differential equations and descriptive set theory: uniqueness and globality of solutions of Cauchy problems in one dimension
نویسنده
چکیده
We study some natural sets arising in the theory of ordinary differential equations in one variable from the point of view of descriptive set theory and in particular classify them within the Borel hierarchy. We prove that the set of Cauchy problems for ordinary differential equations which have a unique solution is Π2-complete and that the set of Cauchy problems which locally have a unique solution is Σ3-complete. We prove that the set of Cauchy problems which have a global solution is Σ4-complete and that the set of ordinary differential equations which have a global solution for every initial condition is Π3-complete. We prove that the set of Cauchy problems for which both uniqueness and globality hold is Π2-complete. This paper deals with descriptive set-theoretic questions in the theory of ordinary differential equations (ODEs). Descriptive set theory (DST, from now on) is, roughly, the study of definable sets in Polish (i.e. separable completely metrizable) spaces. Definable means here: being Fσ, Gδ, Borel, analytic, or, more generally, belonging to a “well behaved” collection of sets. The roots of this subject go back to the work of the analysts of the turn of the century: Borel, Lebesgue, and Baire in France and Lusin, Suslin, and Novikov in Russia. After the ’50s DST was revolutionized by the techniques of mathematical logic: these allowed to solve long standing problems and changed the perspective of the subject (see [7] and [4] for more on the history and development of DST). One of the main trends of current research (see [1] and Sections 23, 27, 33 and 37 of [5]) is the classification of natural sets arising in various parts of analysis, topology, etc. A couple of clarifications are in order. To classify here means to pin down the exact complexity of a given set: e.g. to show 1991 Mathematics Subject Classification: Primary 04A15; Secondary 34A12. We thank our colleagues Anna Capietto and Camillo Costantini for helpful conversations.
منابع مشابه
Nvestigation of a Boundary Layer Problem for Perturbed Cauchy-Riemann Equation with Non-local Boundary Condition
Boundary layer problems (Singular perturbation problems) more have been applied for ordinary differential equations. While this theory for partial differential equations have many applications in several fields of physics and engineering. Because of complexity of limit and boundary behavior of the solutions of partial differential equations these problems considered less than ordinary case. In ...
متن کاملFixed point theory in generalized orthogonal metric space
In this paper, among the other things, we prove the existence and uniqueness theorem of fixed point for mappings on a generalized orthogonal metric space. As a consequence of this, we obtain the existence and uniqueness of fixed point of Cauchy problem for the first order differential equation.
متن کاملThe Study of Some Boundary Value Problems Including Fractional Partial Differential Equations with non-Local Boundary Conditions
In this paper, we consider some boundary value problems (BVP) for fractional order partial differential equations (FPDE) with non-local boundary conditions. The solutions of these problems are presented as series solutions analytically via modified Mittag-Leffler functions. These functions have been modified by authors such that their derivatives are invariant with respect to fractional deriv...
متن کاملExistence and uniqueness of solutions for p-laplacian fractional order boundary value problems
In this paper, we study sufficient conditions for existence and uniqueness of solutions of three point boundary vale problem for p-Laplacian fractional order differential equations. We use Schauder's fixed point theorem for existence of solutions and concavity of the operator for uniqueness of solution. We include some examples to show the applicability of our results.
متن کاملYet Another Application of the Theory of ODE in the Theory of Vector Fields
In this paper we are supposed to define the θ−vector field on the n−surface S and then investigate about the existence and uniqueness of its integral curves by the Theory of Ordinary Differential Equations. Then thesubject is followed through some examples.
متن کامل